<?php

class OperatorModule extends WebModule {
}

?>